Back Logic Theorist English Logic Theorist French Logic Theorist Japanese Logic Theorist Portuguese Logic Theorist Swedish 逻辑理论家 Chinese
El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matemáticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell[1].
- ↑ McCorduck, 2004, pp. 148-170.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search